Using Formal Methods To Eliminate Exploitable Bugs Kathleen Fisher Yow! 2015

Using Formal Methods to Eliminate Exploitable Bugs • Kathleen Fisher • YOW! 2015

GOTO Conferences

Kathleen Fisher: Using Formal Methods to Eliminate Exploitable Bugs

Chalmers Functional Programming Seminar Series

BOB Summer 2019 - Kathleen Fisher, Using Formal Methods to Eliminate Exploitable Bugs

BOB

USENIX Security '15 - Using Formal Methods to Eliminate Exploitable Bugs

ICFP 2014: Using Formal Methods to Enable More Secure Vehicles: Kathleen Fisher

Malcolm Wallace

Ask Me Anything with Kathleen Fisher, hosted by Michelle Strout

DS3 Seminar Kathleen Fisher

DS3: Developing Secure Systems Summit

Kathleen Fisher - KEYNOTE: From quadcopters to helicopters | Code Mesh LDN 18

Kathleen Fisher

Carnegie Mellon Software and Societal Systems Dept

Provably Eliminating Exploitable Bugs

ICFP 2014: Using Formal Methods to Enable More Secure Vehicles (pt II) - Kathleen Fisher

Malcolm Wallace

Google I/O 2014: Kathleen Fisher - Security in a Networked World

X, the moonshot factory

ICFP 2014: Using Formal Methods to Enable More Secure Vehicles (pt III) - Kathleen Fisher

Malcolm Wallace

Formal Methods for the Informal Engineer: Day 3 (2021)

Broad Institute

How coders are creating software that's impossible to hack | Kathleen Fisher | Big Think

#15: Dr. Kathleen Fisher – Sparking the New Age of Formal Verification at DARPA

Building Better Systems

Is there anything hackers can’t hack? | Kathleen Fisher bigthink

Fannie and John Hertz Foundation